[ [+1, +2, +3]
, [+1, +2, +3] : List Integer
, [] : List Integer
]
